home *** CD-ROM | disk | FTP | other *** search
/ Celestin Apprentice 7 / Apprentice-Release7.iso / Environments / Clean 1.2.4 / IO Examples / Turing / addunary.tm next >
Encoding:
Text File  |  1993-04-05  |  161 b   |  10 lines  |  [TEXT/????]
  1. S    #  ->  q1   L
  2. q1   1  ->  q2   #
  3. q2   #  ->  q3   L
  4. q3   #  ->  q4   1
  5. q3   1  ->  q3   L
  6. q4   1  ->  q4   R
  7. q4   #  ->  halt #
  8.  
  9. Tape:
  10. #1111111#11111111111#